The development of a program analysis environment for Ada

A unit level, Ada software module testing system, called Query Utility Environment for Software Testing of Ada (QUEST/Ada), is described. The project calls for the design and development of a prototype system. QUEST/Ada design began with a definition of the overall system structure and a description of component dependencies. The project team was divided into three groups to resolve the preliminary designs of the parser/scanner: the test data generator, and the test coverage analyzer. The Phase 1 report is a working document from which the system documentation will evolve. It provides history, a guide to report sections, a literature review, the definition of the system structure and high level interfaces, descriptions of the prototype scope, the three major components, and the plan for the remainder of the project. The appendices include specifications, statistics, two papers derived from the current research, a preliminary users' manual, and the proposal and work plan for Phase 2

Thermal Properties of a Reaction Hot Pressed Mo≤₅Si₃C≤₁ Ceramic

Mo≤5Si3C≤1 was produced via reaction hot pressing. X-ray diffraction analysis revealed c-axis crystallographic orientation in the hot pressing direction. The orientation, combined with the inherent thermal expansion anisotropy of the structure, led to preferential microcracking and an overall anisotropic thermal expansion in hot pressed ceramics. Thermal conductivity was calculated for temperatures ranging from −120 to 500 °C from measured heat capacity and thermal diffusivity. Over that range, thermal conductivity increased from not, vert, similar9.5 to not, vert, similar21.5 W/m K. Electrical resistivity measurements allowed the separation of electrical and phononic contributions and revealed that the thermal conductivity of Mo≤5Si3C≤1 was dominated by electron transport